11![Kernel Belief Propagation 1 Le Song,1 Arthur Gretton,1,2 Danny Bickson,1 Yucheng Low,1 Carlos Guestrin1 School of Computer Science, CMU; 2 Gatsby Computational Neuroscience Unit & MPI for Biological Cybernetics Kernel Belief Propagation 1 Le Song,1 Arthur Gretton,1,2 Danny Bickson,1 Yucheng Low,1 Carlos Guestrin1 School of Computer Science, CMU; 2 Gatsby Computational Neuroscience Unit & MPI for Biological Cybernetics](https://www.pdfsearch.io/img/68169ba527fd0f30ad6d4ec790c3202b.jpg) | Add to Reading ListSource URL: www.gatsby.ucl.ac.ukLanguage: English - Date: 2011-05-12 15:30:09
|
---|
12![On the Resiliency of Unit Propagation to Max-Resolution On the Resiliency of Unit Propagation to Max-Resolution](https://www.pdfsearch.io/img/ab20db0c7e9ceeaab1fb866eddf9b2f3.jpg) | Add to Reading ListSource URL: ijcai.orgLanguage: English - Date: 2016-03-05 17:54:09
|
---|
13![Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt](https://www.pdfsearch.io/img/d685e4c31ef7f8ca49f6b624866a578a.jpg) | Add to Reading ListSource URL: www.loria.frLanguage: English - Date: 2011-07-11 06:39:50
|
---|
14![Resolution versus Search: Two Strategies for SAT Irina Rish and Rina Dechter Information and Computer Science University of California, Irvine Resolution versus Search: Two Strategies for SAT Irina Rish and Rina Dechter Information and Computer Science University of California, Irvine](https://www.pdfsearch.io/img/c1bbad19888352d4b525bb6f3c74dd68.jpg) | Add to Reading ListSource URL: www.ics.uci.eduLanguage: English - Date: 2000-11-01 13:42:40
|
---|
15![D SHARP: Fast d-DNNF Compilation with sharpSAT Christian Muise1 , Sheila A. McIlraith1 , J. Christopher Beck2 , and Eric Hsu1 1 Department of Computer Science, University of Toronto, Toronto, Canada. {cjmuise, sheila, ei D SHARP: Fast d-DNNF Compilation with sharpSAT Christian Muise1 , Sheila A. McIlraith1 , J. Christopher Beck2 , and Eric Hsu1 1 Department of Computer Science, University of Toronto, Toronto, Canada. {cjmuise, sheila, ei](https://www.pdfsearch.io/img/c566ca16d924fb2ffee087b05be06c29.jpg) | Add to Reading ListSource URL: tidel.mie.utoronto.caLanguage: English - Date: 2012-03-14 09:53:05
|
---|
16![Automated Theorem Proving Scott Sanner, Guest Lecture Topics in Automated Reasoning Thursday, Jan. 19, 2006 Automated Theorem Proving Scott Sanner, Guest Lecture Topics in Automated Reasoning Thursday, Jan. 19, 2006](https://www.pdfsearch.io/img/02d7f77bb5dbf7300279f1b2efd4680a.jpg) | Add to Reading ListSource URL: www.cs.toronto.eduLanguage: English - Date: 2006-05-25 01:09:11
|
---|
17![doi:j.ipl doi:j.ipl](https://www.pdfsearch.io/img/a7c4e579e52253e83738c2b98877e98b.jpg) | Add to Reading ListSource URL: www.cc.ntut.edu.twLanguage: English - Date: 2008-03-02 23:12:13
|
---|
18![Automated Deduction by Theory Resolution Mark Stickel Automated Deduction by Theory Resolution Mark Stickel](https://www.pdfsearch.io/img/d533391e4af2e2934fc430dcefd040a0.jpg) | Add to Reading ListSource URL: www.cs.toronto.eduLanguage: English - Date: 2006-04-12 01:51:24
|
---|
19![Automated theorem proving / NP-complete problems / Logic in computer science / Boolean algebra / Boolean satisfiability problem / Electronic design automation / Resolution / Unit propagation / Constraint satisfaction / Theoretical computer science / Mathematics / Applied mathematics Automated theorem proving / NP-complete problems / Logic in computer science / Boolean algebra / Boolean satisfiability problem / Electronic design automation / Resolution / Unit propagation / Constraint satisfaction / Theoretical computer science / Mathematics / Applied mathematics](/pdf-icon.png) | Add to Reading ListSource URL: cjtcs.cs.uchicago.eduLanguage: English - Date: 2008-10-23 11:39:06
|
---|
20![PHYSICAL REVIEW SPECIAL TOPICS - ACCELERATORS AND BEAMS 17, Time-dependent wave front propagation simulation of a hard x-ray split-and-delay unit: Towards a measurement of the temporal coherence properties PHYSICAL REVIEW SPECIAL TOPICS - ACCELERATORS AND BEAMS 17, Time-dependent wave front propagation simulation of a hard x-ray split-and-delay unit: Towards a measurement of the temporal coherence properties](https://www.pdfsearch.io/img/6e88d96a316ac3f68fb580fd6a2f74f3.jpg) | Add to Reading ListSource URL: pubdb.xfel.euLanguage: English - Date: 2015-01-15 02:14:55
|
---|